Search results for " Proof of concept"

showing 2 items of 2 documents

Mediterranean diet and sars-cov-2 infection: Is there any association? a proof-of-concept study

2021

The aim of this observational study was investigating the possible correlation between adherence to the Mediterranean diet (MeD) and SARS-COV-2 infection rates and severity among healthcare professionals (HCPs). An online self-administrated questionnaire (evaluating both MeD adherence and dietary habits) was filled out by HCPs working in Piedmont (Northern Italy) from 15 January to 28 February 2021. Out of the 1206 questionnaires collected, 900 were considered reliable and analyzed. Individuals who reported the SARS-COV-2 infection (n = 148) showed a significantly lower MeD score, with a lower adherence in fruit, vegetables, cereals, and olive oil consumption. In a logistic regression model…

0301 basic medicineAdultMalemedicine.medical_specialtySARS-COV-2 infectionMediterranean dietSevere acute respiratory syndrome coronavirus 2 (SARS-CoV-2)030209 endocrinology & metabolismMediterraneanDietary habitLogistic regressionDiet MediterraneanAsymptomaticProof of Concept StudyArticle03 medical and health sciences0302 clinical medicineRisk FactorsInternal medicineHealthcare professionalsMediterranean dietSurveys and QuestionnairesmedicineHumansTX341-641Settore MED/49 - Scienze Tecniche Dietetiche ApplicateSARS-COV-2 infection.AgedRetrospective Studies030109 nutrition & dieteticsNutrition and DieteticsHealth professionalsNutrition. Foods and food supplybusiness.industryDietary habitsSARS-CoV-2Risk of infectionAge FactorsCOVID-19Retrospective cohort studyMiddle AgedDietDietary habits; Healthcare professionals; Mediterranean diet; SARS-COV-2 infection; Adult; Age Factors; Aged; COVID-19; Female; Humans; Male; Middle Aged; Proof of Concept Study; Retrospective Studies; Risk Factors; Diet Mediterranean; SARS-CoV-2; Surveys and QuestionnairesHealthcare professionalObservational studyFemalemedicine.symptombusinessFood Science
researchProduct

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

2018

This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…

CorrectnessSIMPLE (military communications protocol)Computer scienceProof assistant020207 software engineeringControl engineering02 engineering and technologyFormal methods Software engineering Theorem proving Vehicles Autonomous Vehicles Control laws Integrated simulations Interactive theorem proving Logic languages Proof of concept Prototype verification systems System development020202 computer hardware & architectureAutomated theorem provingSettore ING-INF/04 - AutomaticaControl theory0202 electrical engineering electronic engineering information engineeringPrototype Verification SystemFormal verificationLogic programming
researchProduct